<?hh

using (function() {}) {}
